Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
221	Time Representation and Interpretation in Simulation Interoperability – an Overview Mikael Karlsson Fredrik Antelius Björn Möller Add to Reading List Source URL: www.pitch.se Language: English - Date: 2011-04-26 03:10:31 Numbers IEEE standards Primitive types Computer science Binary arithmetic High-level architecture Floating point Double-precision floating-point format Fixed-point arithmetic Computer arithmetic Data types Computing
222	1 CHAPTER 17 VIBRATING SYSTEMS 17.1 Introduction A mass m is attached to an elastic spring of force constant k, the other end of which is attached to a fixed point. The spring is supposed to obey Hooke’s law, namely th Add to Reading List Source URL: orca.phys.uvic.ca Language: English - Date: 2010-05-02 20:41:27 Ordinary differential equations Mathematical physics Simple harmonic motion Normal mode Harmonic oscillator Equations of motion Vibration Double pendulum Physics Classical mechanics Pendulums
223	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2005-06-20 12:22:00 Recursion Proof theory Computability theory Logic in computer science Lambda calculus Symbol Natural deduction Curry–Howard correspondence Fixed-point combinator Theoretical computer science Mathematical logic Mathematics
224	Value Objects Brendan Eich <> Thursday, July 25, 13 Add to Reading List Source URL: esdiscuss.org Language: English C++ Recursion C++ classes Fixed-point combinator FO Boolean algebra Relational operator Finitary relation Distance from a point to a line Theoretical computer science Mathematics Mathematical logic
225	A4 Landscape Top Purple b_ground Add to Reading List Source URL: www.psni.police.uk Language: English - Date: 2015-03-27 05:36:54 Crimes Fixed penalty notice Crime Ethics Point system Law Criminal law Law enforcement in the United Kingdom
226	REGISTRATION FORM - TYPHLO & TACTUS (T&Tto be completed for each book entered AUTHORS SHALL SEND THEIR ENTRY AT THE DATE FIXED BY THEIR NATIONAL T&T CONTACT POINT. 1. To be completed for original books especially Add to Reading List Source URL: www.tactus.org Language: English - Date: 2015-01-20 11:15:31 Copyright Data management Library science Monopoly Royalties Email Law Intellectual property law Information Data
227	could be restricted to those for whi ch thi s promi se can be kept. Whi l e the mechani sms descri bed i n the PT proposal are onl y tangenti al l y rel evant to thi s i ssue { the same probl em woul d have ari sen i n d Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:01:40 Lambda calculus Recursion Applied mathematics English phonology Theoretical computer science Combinatory logic Fixed-point combinator
228	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic
229	Fixed-point Representation of Numbers Fixed Point Representation of Numbers Add to Reading List Source URL: www.sfcc.edu.hk Language: English - Date: 2007-11-21 04:58:13 Primitive types Numbers Mathematics Linguistics Integer Floating point Binary numeral system Fixed-point arithmetic Sign bit Computer arithmetic Binary arithmetic Data types
230	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science

UPDATE